interface Iface {
  ([EA=val] ReturnType) operation();
};